基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

编队卫星的状态测量方法综述及可行的高精度星间基线测量方案研究

基线高精度测量是编队卫星应用需要解决的关键技术之一。针对这个问题,文章从3个方面进行了阐述。首先,综述目前国内外常用的编队卫星状态测量手段,然后在前面分析的基础上,结合编队卫星基线的表示方法和卫星编队飞行的特点,提出了2种可行的基线激光测量方案,并对它们各自的测量精度进行了简单地分析。从分析的结果来看,这2种方法均能实现高精度的基线测量。     

塞式喷管单元发动机实验与数值模拟研究

简要介绍固体推进剂模拟塞式喷管单元发动机实验系统，给出了实验塞式喷管型面设计方法和特征线法在塞式喷管流场计算中的应用，癖结了实验研究结果，并同数值模拟计算结果进行了比较，主要结果包括燃烧室压力，底部气锥流量，内膨胀比，侧喷管倾角，底部压缩角等对塞式喷管性能的影响，并得出了塞式喷管单元发动机推力方向与其轴线方向夹角的高度特性。     

计算机辅助机械设计的实践与研究

本文结合作者编制计算机辅助机械设计课程设计应用软件的经验，介绍了机械设计中计算机应用程序的构造、流程和数据处理方法，这些方法适用于计算量大、数据量多的设计过程。     

飞行控制软件可靠性设计探讨

控制系统飞行软件 (飞行控制软件 )是关系到弹箭飞行成败的关键部分 ,本文从一些实例出发对如何提高飞行控制软件设计的可靠性做了探讨。     

有源磁悬浮动态特性的测试与辨识

惯性仪表有源磁悬浮的动态特性实质上反映着其浮子组件五个自由度的动力学规律。针对时分式有源磁悬浮动态特性测试在工程实现上的具体困难， 基于多输入多输出（ Ｍ Ｉ Ｍ Ｏ） 系统的测试和辨识原理， 采用时分信号激励和近似的时序同步数据采集方法， 进行了磁悬浮各回路的时域测试和辨识， 结果表明， 开环状态下的浮子运动有一定交叉耦合关系， 在有源磁悬浮设计和调试中应当加以考虑。同时分析了辨识的可行性和可信度。     

局部模型跟踪控制理论的应用研究

将文献［１］中的局部模型跟踪变结构理论用于导弹控制系统设计，探索了一条设计控制系统的新路。某型号导弹控制系统设计中采用了本文提出的参数选择法，获得了良好的仿真结果。     

二次抛物线型面喷管参数的优化选择

二次抛物线型面是火箭发动机喷管较常用的一种型面，对其参数进行优化选择是必要的，在喷管型面长度和出口扩张半角确定的条件下，优化方法是把比冲作为目标函数，利用一维等熵流的气动力公式，二次抛物线型面的几何关系和计算机求极大值方法，确定达到比冲最佳值的设计变量一喷管初扩张角和出口马赫数。     

基于预测零控脱靶量的拦截器中制导段导引

针对三维空间内的高速飞行目标,提出了一种基于预测零控脱靶量的中制导段导引方法。建立了拦截器与目标的相对运动关系模型,分析了确定修正轨道的约束条件,并在此基础上推导出修正轨道根数的计算方法。同时根据待增速度给出了推力定向和推力发动机工作时长的确定方法。仿真结果表明,该方法能有效实现拦截器中制导段的制导控制。     

固体火箭发动机排气二次燃烧的抑制技术

介绍了无烟固体火箭推进剂研究的最新进展——固体火箭发动机排气二次燃烧的抑制技术,内容包括二次燃烧的产生机理、抑制机理和国外技术现状等.国外经验表明,采用少量的抑制剂可以达到对高能无烟推进剂发动机排气二次火焰的抑制.